退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于形式验证的自动广义相位抽象
Per Bjesse, et al.;
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:减少和抽象进行分布式圆形算法正式验证
机译:使用基于意图的抽象对驾驶舱中的模式混淆进行形式验证
机译:正式验证的自动广义阶段抽象
机译:自动结构抽象技术可增强验证能力。
机译:基于抽象的神经网络验证框架
机译:超标量微处理器形式验证中记忆的自动提取
机译:阶段抽象以进行正式验证
机译:相位抽象用于形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。